Relative set theory: Internal view
نویسنده
چکیده
A nonstandard set theory with many levels of standardness was first proposed by Yves Péraire [28]. The theory GRIST formulated here is an extension of Péraire’s RIST. We prove that it is conservative and categorical over ZFC, and universal among theories of its kind. Technically, the paper carries out detailed analysis of the construction of internally iterated ultrapowers introduced in the author’s [13]. The objectives of an eventual extension of GRIST to a full relative set theory are briefly discussed in the last section.
منابع مشابه
Thermal Creep Analysis of Functionally Graded Thick-Walled Cylinder Subjected to Torsion and Internal and External Pressure
Safety analysis has been done for the torsion of a functionally graded thick-walled circular cylinder under internal and external pressure subjected to thermal loading. In order to determine stresses the concept of Seth’s transition theory based on generalized principal strain measure has been used. This theory simplifies the set of mechanical equations by mentioning the order of the measure of...
متن کاملتحلیل شکاف مؤلفههای مدیریت کیفیت فراگیر در مؤسسات خدمات درمانی در محیط فازی (مطالعه موردی: بیمارستان خورشید اصفهان)
Introduction: Many organizations, especially, service organizations, relative to their goals and mission, have a special view towards quality phenomena and its management and are turning to approaches such as TQM to help manage their business. This study examined the TQM indicators gap in Isfahan Khorshid hospital. As fuzzy set theory is better than the logical theory for estimating the linguis...
متن کاملThe Mystic View on the Possibility of Discussing the Divine Essence and the Criticism of its Opposing Theory (of ‘Allāmah Ṭabātabā’ī)
The main subject of this study is to examine the possibility of discussing the divine essence in Ibn ‘Arabī‘s school of mysticism. The author of this article intends to investigate the possibility of the relative discussion of the divine essence. However, opposing theories such as ‘Allāmah Ṭabātabā’ī’s stance in Al-Rasā’il al-tawḥīdiyya favor the absolute impossibility of talking about the divi...
متن کاملCost functions with several order of magnitudes and the use of Relative Internal Set Theory
Cost monadic logic extends monadic second-order logic with the ability to measure the cardinal of sets. In particular, it allows to decide problems related to boundedness questions. In this paper, we provide new decidability results allowing the systematic investigation of questions involving “relative boundedness”. The first contribution in this work is to introduce a suitable logic for such q...
متن کاملInconsistency in Classical Electrodynamics
I show that the standard approach to modeling phenomena involving microscopic classical electrodynamics is mathematically inconsistent. I argue that there is no conceptually unproblematic and consistent theory covering the same phenomena to which this inconsistent theory can be thought of as an approximation; and I propose a set of conditions for the acceptability of inconsistent theories. 1. I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Logic & Analysis
دوره 1 شماره
صفحات -
تاریخ انتشار 2009